<html>
<head><meta charset="utf-8"><title>I-prioritize #71416 `unsized_locals` fails to uphold alignme · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html">I-prioritize #71416 `unsized_locals` fails to uphold alignme</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="194934758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194934758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194934758">(Apr 22 2020 at 14:01)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/71416" title="https://github.com/rust-lang/rust/issues/71416">#71416</a> has been requested for prioritization.</p>



<a name="194935056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194935056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194935056">(Apr 22 2020 at 14:02)</a>:</h4>
<p>I'd go with <code>P-high</code></p>



<a name="194935919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194935919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194935919">(Apr 22 2020 at 14:08)</a>:</h4>
<p>If there are potential soundness issues in libstd/liballoc, we could also tag <code>P-critical</code> to investigate those libs?</p>



<a name="194935982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194935982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194935982">(Apr 22 2020 at 14:09)</a>:</h4>
<p>Oh, the plan is to separate the sound and unsound parts. Maybe not needed then</p>



<a name="194948839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194948839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194948839">(Apr 22 2020 at 15:32)</a>:</h4>
<p>kind of also following what was done with <a href="https://github.com/rust-lang/rust/issues/68304" title="https://github.com/rust-lang/rust/issues/68304">#68304</a></p>



<a name="194948855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194948855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194948855">(Apr 22 2020 at 15:33)</a>:</h4>
<p>which was the original issue and was <code>P-high</code> too</p>



<a name="194948901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194948901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194948901">(Apr 22 2020 at 15:33)</a>:</h4>
<p>But did <code>P-critical</code> exist then? :D</p>



<a name="194948964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194948964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194948964">(Apr 22 2020 at 15:33)</a>:</h4>
<p>yeah, it could be <code>P-critical</code> mainly the thing you're mentioning</p>



<a name="194949015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194949015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194949015">(Apr 22 2020 at 15:34)</a>:</h4>
<p>if used in libstd/liballoc</p>



<a name="194949043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194949043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194949043">(Apr 22 2020 at 15:34)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="125250">@Wesley Wiser</span> <span class="user-mention" data-user-id="116083">@pnkfelix</span></p>



<a name="194949104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194949104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194949104">(Apr 22 2020 at 15:34)</a>:</h4>
<p>I think I'd go with <code>P-critical</code></p>



<a name="194949151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194949151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194949151">(Apr 22 2020 at 15:35)</a>:</h4>
<p>but release is happening tomorrow :P</p>



<a name="194949236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194949236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194949236">(Apr 22 2020 at 15:35)</a>:</h4>
<p>so something critical would mean that this maybe needs to be rushed for tomorrow and unsure if this qualifies for that to be honest</p>



<a name="194949459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194949459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194949459">(Apr 22 2020 at 15:36)</a>:</h4>
<p>But we may want to add <code>F-unsized_locals</code> to the <code>INCOMPLETE_FEATURES</code> before then?</p>



<a name="194949520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194949520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194949520">(Apr 22 2020 at 15:37)</a>:</h4>
<p>yeah, maybe something like that</p>



<a name="194949568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194949568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194949568">(Apr 22 2020 at 15:37)</a>:</h4>
<p>Just raising questions, because I don't even know what <code>unsized_locals</code> precisely are, I didn't take the time to check <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>



<a name="194949603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194949603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194949603">(Apr 22 2020 at 15:37)</a>:</h4>
<p>let's see what others say about this, also cc <span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span class="user-mention" data-user-id="119009">@eddyb</span> <span class="user-mention" data-user-id="120791">@RalfJ</span></p>



<a name="194962259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194962259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194962259">(Apr 22 2020 at 17:10)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> was taking a look at this and given <a href="https://github.com/rust-lang/rust/issues/71416#issuecomment-617575672" title="https://github.com/rust-lang/rust/issues/71416#issuecomment-617575672">https://github.com/rust-lang/rust/issues/71416#issuecomment-617575672</a> I don't think this is an urgent thing to do in a rush</p>



<a name="194962289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194962289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194962289">(Apr 22 2020 at 17:10)</a>:</h4>
<p>I think I'd go with <code>P-high</code> and nominate it</p>



<a name="194962388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194962388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194962388">(Apr 22 2020 at 17:11)</a>:</h4>
<p>Agreed, this is probably enough</p>



<a name="194962589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194962589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194962589">(Apr 22 2020 at 17:12)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme/near/194949459" title="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme/near/194949459">said</a>:</p>
<blockquote>
<p>But we may want to add <code>F-unsized_locals</code> to the <code>INCOMPLETE_FEATURES</code> before then?</p>
</blockquote>
<p>After thinking about it, I realized it's a nightly feature <span aria-label="face palm" class="emoji emoji-1f926" role="img" title="face palm">:face_palm:</span></p>



<a name="194964555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194964555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194964555">(Apr 22 2020 at 17:26)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/71416" title="https://github.com/rust-lang/rust/issues/71416">#71416</a>'s prioritization request has been removed.</p>



<a name="194966767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/194966767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#194966767">(Apr 22 2020 at 17:42)</a>:</h4>
<p>btw, created a PR for the <code>INCOMPLETE_FEATURES</code> part of this <a href="https://github.com/rust-lang/rust/issues/71435" title="https://github.com/rust-lang/rust/issues/71435">#71435</a></p>



<a name="200289709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/200289709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#200289709">(Jun 09 2020 at 21:00)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/71416">#71416</a> has been requested for prioritization.</p>



<a name="200292446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371416%20%60unsized_locals%60%20fails%20to%20uphold%20alignme/near/200292446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371416.20.60unsized_locals.60.20fails.20to.20uphold.20alignme.html#200292446">(Jun 09 2020 at 21:22)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/71416">#71416</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>